1. An introduction to formal specification and Z
پدیدآورنده: / Ben Potter, Jane Sinclair, David Till
کتابخانه: کتابخانه مؤسسه ژئوفیزیک (دانشگاه تهران) (تهران)
موضوع: Computer software - Geotools ــ Development,Z )Computer program language( ــ Development
رده :
QA
76
.
76
.
D47

